fix typos

Really minor stuff. (I hope those are real errors.)

Thanks for your work!