minor change for the sake of efficiency when disconnecting a user