small changes in fifolib