Minor corrections and additions