minor corrections #82

Closed rgrr closed 1 year ago