control.js, Checkbox(): fix update()