Minor changes in documentation comments