minor documentation fix

7 jobs for docedit in 60 minutes and 4 seconds (queued for 3 seconds)