Fix some formulae