Fix typos per bug report 688728.