fix in workaround generator