Fixed a bug in IBEA (thanks to Dimo Brockhoff)