PropositionController fixes