Attached a small patch that fixes a couple of typos.<div>Have a nice day.</div><div>Dario.</div>