fixed tiny glitch in documentation.