Fix a little checkdoc warning
Fix sexp formatting

We need to prevent ellipsis in printed sexps.  We also enable
`print-quoted` to shorten the dumped sexps a bit.