more url massaging, to make sure we never get double-slashes.