corrections in the documentation comments