Minor mistake in docs