add some minor corrections