Documentation: add details, fix typo