minor changes in the documentation comments