Fixed a small mistake in the commenting