Fix typo in constraint