Several small corrections and additions