clarify a definition, fix 2 typos