Typeset updated using easy-to-maintain way of writing (direct
HoldComplete).

Doc update fixing a few typos.