modernize latex source, fixed some typos