small mistake in documentation