Fix some typos. Thanks to Michal \u010ciha\u0159 and James R. Van Zandt.