Avoid errors when message list doesn't have a header
program/js/app.js @@ -6728,6 +6728,9 @@ this.env.listcols = listcols; if (!this.env.coltypes) this.env.coltypes = {}; // replace old column headers if (thead) { if (repl) {