Fix error in github installation procedure (due to bug in staticdocs)