fix syntax error in ProposalWorkbench.ts