Fix a problem. Add TermList, however the type is problably incorrect