a few minor corrections to MainDocument.tex