Thank you, Critter! It looks like IRS corrected the error. I've been using turbotax for 25 years and nary a mistake before now. I wonder what went wrong this ti...

Thank you, NC Person! Based on your response, I edited my OP to clarify. I'm also going to search for the bug you mention.