Minor corrections in doc