minor docu changes