small change in `Boolean` constaint