Bug fix for readTheDocs