Space after `//` comments.