Doc: typos, clarifications