Fixed a small mistake in the comments.