More docu and typo fixing