Add missing whitespace

4 jobs for doc-fix in 94 minutes and 2 seconds (queued for 53 minutes and 21 seconds)
Status Name Job ID Coverage
  Build
passed build_linux_27 #124179
docker

00:57:00

37.0%
passed build_linux_36 #124180
docker

00:57:51

37.0%
passed build_macosx_27 #124181
macosx

00:41:38

37.0%
passed build_macosx_36 #124182
macosx

00:39:29

37.0%