fix the IR2Tiny function