web address doesn't get updated for repo

Hello,
When I update the web address for a repo on the Admin page, the header still shows the old address. I can delete it, that works, but after that writing a new address still brings back the old one. Is this a bug?
Cheers,
Attila