minor typos and a final phrase