minor docu update