Small adaptations in limit.py and sm-protocol.txt