small corrections in doc