minor docu change