correction ProposalManager