Removed typos in proposal.