Fixed bug in the boolean conversion