Change BOOLEAN to ENSURE-BOOLEAN.