changing `X ~~ m//` to `X ~~ //`

There were some (weird) test failures, and this looked like the right fix.
Indeed, the change makes the test failures go away.