Small corrections to the documentation and command line help

12 jobs for doc_correction in 10 minutes and 11 seconds (queued for 5 seconds)