Added some comments to parse_formula.