Cleaned up the TeX.