Revert "Also replace "//" to "/"."

This reverts commit 60ef33b1e061fec7e53fbd5f4c2e0b118e49c642.