fix typo in definitions