typo fix

3 jobs for fix_doc_dev_install in 9 minutes and 19 seconds (queued for 4 seconds)