Got rid of Term.h import