Fix a bunch of typos the referees pointed out.