Fix weird github error.