The paper Null-homotopic embedded spheres of codimension one is an appendix to Taut immersions into complete Riemannian manifolds, by C.-L. Terng and G. Thorbergsson. The TeX source file for the Terng-Thorbergsson paper, including my appendix (No, not that appendix!) is here.