fix the server regression test (it produced for me identical results in more runs...