fix glitch in docs