Bieberbach's theorem may only work for flat Riemannian manifolds.