improvements to instructions and formulas.tex