Fixed typos in sections/HAR.tex