Kan Replacement of Simplicial Manifolds