Question on simplicial homotopies