fixed variable box title (now "variables/constants") in HTML result