Fix typo in conditional constraint example