fixed variable box title (now "Variables/Constants") in HTML result