minor edit changes in the documentation