Fixes a bug where robodoc crashed if a faulty header causes robodoc to have a header with 0 items.
Authored by: gumpu 2007-03-31
Parent: [r643]
Child: [r645]