elseif type(lines[#lines]) == 'table' then
      table.remove(lines)  -- we'll add undo soon