some typos in commentaries corrected