Fix github bug