Refinements and corrections in documentation