add a space after `//`