a few minor corrections