Slight optimisation to the ServerList code