Fix broken build of ReadTheDocs