typos fixed, text reformatted