Minor corrections and updates