minor doc change

3 jobs for develop in 4 minutes and 3 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Before
passed #8910
documentation

00:00:37

 
  Build
passed #8911
snapshot

00:02:08

 
  Selenium
passed #8912
selenium

00:01:17