I'm aware of that one. I keep it that way for the time being since it simplifies a lot the code used to display the online users. It's such a minor thing anyway that I'll focus on other stuff first.