Fix typos and adapt description in manual
Hope the commit messages are (in some sort) self-explained.
These were originally caught on Dec 15, 2022. Then something stoped me from reading through the manual. 40 days later, maybe it's the time to open a MR for these incomplete corrections and/or improvements.
Edited by Yukai Chou