Issue #58: tweak ZnGemServer a bit