improve formatting: add an empty line after a parameter with a comment, when the following parameter has no comment, to make it obvious that the comment only concerns the single next parameter, and not the whole group.
Authored by: mrieser 2013-02-08
Parent: [r22949]
Child: [r22951]
