correcting some missprints and ulp definition in doc