A few proposal edits