fix fixpoint product