minor docu changes
minor docu changes