Fix github shenanigans