Fix bug in boolization