What Bug?

There is no bug. You saw nothing. No lazy copy/paste that I forgot to
fix properly. You saw nothing.