various corrections and an addition