@@ -2605,7 +2605,8 @@ format, and functions to filter and modify a subtree.
26052605 local caption = "Overview"
26062606 local aligns = {pandoc.AlignDefault, pandoc.AlignDefault}
26072607 local widths = {0, 0} -- let pandoc determine col widths
2608− local headers = {"Language", "Typing"}
2608+ local headers = {{pandoc.Plain({pandoc.Str "Language"})},
2609+ {pandoc.Plain({pandoc.Str "Typing"})}}
26092610 local rows = {
26102611 {{pandoc.Plain "Haskell"}, {pandoc.Plain "static"}},
26112612 {{pandoc.Plain "Lua"}, {pandoc.Plain "Dynamic"}},