Correction and small additions to doc