Some minor corrections and additions