
        Fix typos made in PR #764

823bbdd