Some small corrections and updates