Fix some typos in the documentation of the `help` tool