a few minor fixes in Term