Spurious lines in verbatim output

The same as in discourse:

37