little corrections in doc