fix github fuckup, sorry!