minor addition to the widget html toolkit