Fix whitespace mistake in comment