edited some typos in the proposal