Fix a typo in the definition of $\phi_k$