Minor cleanups in OnlinePlayers.java