Wrap results in a div

Even in the case where there is only one document, there may be
additional document comments which should be grouped alongside it and
not intermixed with any comments in the surrounding area. For the case
when there is only one document and nothing else, not even a comment,
it is probably better to still wrap the output for consistency.