Indeed this change will fix [bug 9713](http://d.puremagic.com/issues/show_bug.cgi?id=9713), but I think there is a small problem.
If there is *no* section, DDOC_BLANKLINE is inserted. But generated DDOC_EXAMPLES is a *section*. So it seems to me there is an inconsistency.