'Tis a bug *edit/ or maybe not \edit*

I didn't know about that, sumdumguy, but it could very well be true