small adjustment to ServerProtocol