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