Small corrections and additions