minor LaTeX change in manual: remove italics from some section headers
to make headers more consistent