Minor mistake in documentation