some more small edits
ignore proposal.pdf