Made the protocol specification more specific