various minor corrections