More for #57: fix more typos before the proofreader finds them!