bugfix in FOTerm