update markdown for proposal.md