Compiling to HTML: no </div> at document end

When compiling to HTML using the option “Use centered column to restrict body width”, a

tag is inserted at the beginning of the body content of the HTML document, but no closing
is inserted at the end:


... [/code] This still renders okay in a browser, but it is incorrect.