minor corrections/fixes