Update documentation; fix typos.