fixed documentation glitch