fix bugs found by new test_commitment_change_propagation