small changes in doc