This dirty hack is no longer needed.

Not that it was any help.