Fix spelling errors in comments.
Oops.  Fix typo picked up by Zini.