Put a space after the // to match the commenting style in the rest of our code