Fix formulation after last "big" update commit