Fix formatting glitch in documentation