Minor corrections in the documentations.