Update: Github still hasn't fixed this