Fix: error in protocol description