Nth PR on develop branch for easybuild-docs, for N=9

latest yield
the issue was below, there some spaces missing there (bugfix coming with next commit bundle)