minor docu fix