Small tweak for the example server