DOC TRIV: Correct misprints; line width of 80