Fixes typos in 1st systemproposal document.