Nit, here and elsewhere: space between `//` and the next character.