Fixing the double slash bug