Make a number of small clarifications and correct a whole bunch of typos,

all reported by Bruce Smith.