Documentation glitch