Fix typos inadvertently checked in in previous version.