Update proposal.md.