fix bugs and typos in a 3-year-old post