DOC TRIV: Correct misprints, including failed merge of 1ef7f79361f6d30a55b69f15e4315b937aafa425