And..if the IRS screws up & sends a check anyway, tell your client not to cash it.  Then send it back to the IRS with an explanation.  It will likely take a bit to get straightened out, but might be worth it if the amount is large and there are underpayment penalties on the 2017 return.