fixed some weird things that github did, I dunno