minor stylistical corrections