Add a space after `//`