Small typografic errors corrected in Doc.