fix typo in constraints