Fixed several stupid errors in formulae