otherdebugginginformation.tex: spelling correction.