fix typo in d7c7b5e