Fixes #4545: don't duplicate users names in user list
Merge pull request #305 from ncharles/ust_4444/deb/4545_don_t_duplicate_user_name_in_user_list

Fixes #4545: don't duplicate users names in user list