Minor doc change.

3 jobs for master in 3 minutes and 46 seconds (queued for 42 seconds)
Status Name Job ID Coverage
  Before
passed documentation #8931

00:00:36

 
  Build
passed snapshot #8932

00:02:04

 
  Selenium
passed selenium #8933

00:01:06