two minor corrections