For style reasons, yes, today I would double-quotes. But that is unrelated to the issue. More so, I think this commit by @jacknagel is _not_ the cause of the trouble.