Minor changes in doc