typos and clarifications
exp.tex change the url link for SReach