minor revisions to ex. 1.2.1, per Rainer Joswig's suggestions