fix bug in booleans
formatting