typos, clarifications