Fix bugs in FipaProposeProtocol