Fix minor inaccuracies with formulations in exceptions.tex
Fix minor spelling mistake in appendix.tex