fix obvious mistake in documentation comment