fixes to use the IBF