version bump 0.2.12: to_formulae