homotopy: improve the path-spaces-of-truncations theorem