Fixing formulae in the docs