fixed mistake in a comment