Fixed documentation glitch.