Documentation update: fix typos and clarify a few things