A few minor corrections for pull-request 137.