minor corrections and fixes