Fixup the workaround