fix typo in gh-pull 693