some minor corrections/additions