Minor improvement in ServerTester