Github fix up