Fix weird github error