Fixed small mistake in comments