Small refinements in the documentation