Put blank lines between comment paragraphs.
Merge branch 'new-split-overflow' into new-split-ckpt-1