Minor changes to methods.tex