minor change in serverprotocol