fix mistake in docs