An experimental fix to bug # 119: don't write the heading line if the first node has "declarations" as its headline.