fixpoint moving fixes