No; not intentional, just cruft from an initial attempt at a fix. I'll clean it out.