Merge branch 'doc_fix' into 'master'

Doc fix

See merge request !105
5 jobs for master in 11 minutes and 3 seconds (queued for 3 seconds)
Status Job ID Name Coverage
  Build
passed #208986
docker
build_linux_36

00:09:32

59.0%
passed #208987
docker
build_linux_37

00:09:29

59.0%
passed #208984
macosx
build_macosx_36

00:08:29

59.0%
passed #208985
macosx
build_macosx_37

00:08:17

59.0%
 
  Deploy
passed #208988
docker
deploy_beta

00:01:30