Minor fixes to formulas