small corrections and updates