get rid of evil double-slashes