I know that early this season the 2019 number was not properly showing up on the 1040.  I don't remember if that was fixed before the 12th or not, but that MIGHT be the problem.

At any rate, there isn't really anything you or the client can do except wait.