minor, fix problem with double slashes