Fixed the Github docs export.