Minor changes in user doc