Yet another Github fix.