Fixed a mistake in the comments