This fixes a performance issue joining a server with a large number of users. Thanks to @dbiollo for the suggestion!