correct fixpoint iteration