made a few minor corrections