it is also possible that ac's IT system is having problem reconciling the EK check in (assuming it was issued on the same ticket stock).

If he is looking for an upgrade, he will still get noticed that he checked in at that window, the balance thought will happen at the check in desk.

If he isn't looking for an upgrade I wouldn't sweat it