Fix another long standing embarrassing bug

In the definition of termEq
bump version number