More stylistic changes to homotopy.tex