Smal update on proposal.tex