Bugfix in protocol_eval