registry URL always ends in / (fixes #6982)