minor improvements (fixes) to did-you-mean suggestions
sets: fix a bug in model building, another in handling set of sets