fix documentation

12 jobs for master in 18 minutes and 56 seconds (queued for 6 seconds)