bug fix for HIR test