fix slightly overzealous use of // as a URL target