Fixing smartTerm Rules