I was going to make a more substantial change, but then realized why I
shouldn't.  Along the way, I saw these three words that should be
corrected.  So I was left with three very minor spelling fixes.  Should
I abandon them?  Seemed unfortunate.  So I'm committing them.

These are the kinds of decisions software engineers have to make....