Glitch in docs fixed.