fix to match changes in Term