Fix liftI2

This caused a nasty loop