Minor corrections to rules for hint terms