working on fixing doc-building problems