This should be fixed now, and he’s correctly giving an extra roster spot.
He was on the major league roster when he was put on the 10-day IL. You cannot promote/demote playerse on the IL, so he is on the major league 60-day IL now. This is to say, this isn’t the same as Jordan Lawlar’s situation
Since he hadn’t had his major league debut yet, his player IDs were not linked up. Linking them up fixed the issue.