fix some typos from PR #1385