One space after `//` would be nicer.