Minor doc fix.

5 jobs for experimental in 4 minutes and 40 seconds (queued for 2 seconds)