minor docu cleanup