More formulas; bump version