  We prove the Myers-Steenrod theorem for local topological groups of
isometries acting on pointed $\mathcal{C}^{k,\alpha}$-Riemannian manifolds,
with $k+\alpha>0$. As an application, we infer a new regularity result for a
certain class of locally homogeneous Riemannian metrics.
