Cleaned-up LaTeX files a bit.