Fix typos

Identified in review of c36a36fecf7