Attempt to fix the bug that keeps Github from generating the documentation