minor corrections on last paragraph and typos elsewhere