minor glitch in docs fixed