Another minor change regarding URLs.