Corrected a mistake in comment.