The set-up is the following: $\mathfrak c$ is a collection of finite groups closed under subgroups, homomorphic images, and extensions. For any group $G$, the pro-$\mathfrak c$-completion $G(\mathfrak c)$ is defined as the topological group $\varprojlim G/U$ where $U$ ranges over all normal subgroups of $G$ such that $G/U\in\mathfrak c$, with $G/U$ treated as discrete topological groups. Note that we have a group homomorphism $\eta\colon G\to G(\mathfrak c)$.
If I understand correctly, the pro-$\mathfrak c$-completion is the left adjoint to the forgetul functor from pro-$\mathfrak c$-groups to groups, as it satisfies the universal property that any group homomorphism $f\colon G\to H$ where $H$ is pro-$\mathfrak c$-group factors as $f=h\circ\eta$ where $h\colon G(\mathfrak c)\to H$ is a continuous group homomorphism (so a morphism of pro-$\mathfrak c$-groups).
It seems to me that the above implies that the free pro-$\mathfrak c$-group on a set $S$ should be the pro-$\mathfrak c$-completion of the free group on $S$. I am reading, however, that this is the case only when $S$ is finite, but not when $S$ is infinite. What am I missing?