small docu fix