minor documentation glitch