Minor changes in user manuals