typos fixed, clarifications