Fixes typos in 1st system proposal document.