Sphinx fix after #777 merge
The #777 (closed) merge introduced code change that causes some Sphinx versions to fail.
It did work on my ubuntu 18.04 with sphinx 1.6.7, but it fails on Jenkins (version unknown).
Anyway, need to fix this.
Edited by Tomek Mrugalski