formatting fixes for proposals.md