Update of sm-protocol.txt (documentation)