Remove fl for invariants, it was a temporal patch