Corrections in user manuals