little addition to checkbox widget