fix typo and make RE critic happy