minor docu fixes