Revert accidental change in docs

2 jobs for master in 10 minutes and 49 seconds (queued for 11 seconds)