typos.

Sorry to have to push these separately, but I am trying to build on a remote
computer, and I don't want to use different commits to fix two different
versions because then I will have monster merge conflicts somewhere down the
line. I will squash all this before it hits "release".