minor corrections/improvements