Docs: fixup for last commit, ReadTheDocs does not like Sphinx 1.3 ;)