Small doc change (#1406)

Since I completely overlooked that first hand
19 jobs for master in 1 minute (queued for 7 seconds)