Fix mistake in docs