Tweak docs

See "C-u M-x checkdoc-current-buffer".