[clang-format][doc] Fix the doc format

There has to be a blank line after a code block.  Otherwise the HTML
docs can't be built.

The problem was brought in by ddc80637.  How careless I was that the
same patch broke the build twice.