Add missing whitespace

4 jobs for doc-fix in 65 minutes and 57 seconds (queued for 64 minutes and 26 seconds)
Status Job ID Name Coverage
  Build
passed #124183
docker
build_linux_27

00:19:55

69.0%
passed #124184
docker
build_linux_36

00:29:00

69.0%
passed #124185
macosx
build_macosx_27

00:14:54

69.0%
passed #124186
macosx
build_macosx_36

00:14:59

69.0%