minor corrections and additions