Renamed variable in readTerm()