Fix a minor mistake in the comment