small fix for ibrun