Comment by mdavidn

That's a sharp catch, and I think it exposes a real bug.