Where to find the correct result in Higher Algebra, incorrect reference

I'm looking at the proof of Higher Algebra Proposition 6.1.6.27, and in the very first sentence of the proof, Lurie states:

The functor $(F\delta)_{\Sigma_n}$ is n-homogeneous by Proposition 6.1.5.4.

Checking back to 6.1.5.4, I see the statement

Let $C$ be a small $\infty$-category which admits finite colimits and let $D$ be an $\infty$-category which admits finite limits and small filtered colimits. Assume that filtered colimits in $D$ are left exact. Then composition with the Yoneda embedding $j : C \to Ind(C)$ induces a fully faithful functor $$\theta : Exc^n_c (Ind(C),D)) \to Fun(C,D)$$ whose essential image is the full subcategory $Exc^n(C,D) \subset Fun(C,D)$ spanned by the n-excisive functors.

which seems totally irrelevant.

Does anyone know what the correct reference is, or if the reference is correct, how to apply the proposition to achieve the result?