It looks like a bug to me.
several filers have pointed this out.
IRS computers know your "amount paid with request for extension".
IRS computers will adjust accordingly.
