fixed something in protocol.cc