Fixed spec tests for corrections in formulas
Fixed formulas