Fix typos (see gh-1135)