minor bugfix: int and bool mismatch