some more corrections and additions