Fix github stub