minor revisions to ex. 1.2.5