few minor corrections