kToXml (Header _ _ _) = -- should never happen, see renderSections
                          error "unexpected header in section text"
blo
blockToXml (Header _ _ _) = -- should never happen, see renderSections
                          error "unexpected header in section text"
blockToXml (Header _ _ _) = -- should never happen, see renderSections
                          error "unexpected header in section text"