html: bug fix
tabs.sei: bug fix