Fixed some typos in the docu