minor corrections and updates