Fixing proposer bugs