That number doesn't update as you hover over it. So it may still be 80, but it also might not because someone may have left between the time you opened up the server gui and actually pressing the server you want to join. It only updates when you close the gui and open it again.