fixed missing formulation bug