fixed (another) double slash bug