Fixing a workaround