small tweak for the server