Cleaned up Tex file