Typo in docs

14 jobs for fix_docs in 13 minutes and 44 seconds (queued for 1 second)