Update main-body-text.tex