Fix a couple of typos

Noted by Peter Geoghegan