minor changes in doc