Fixing a mistake in the comments