changed type of userlist from vector to set