Yep, that's it. The user applied the patch and it fixed the problem.

Thanks, all, for the help!