(Corrections in doc.)