Input events, checkboxes and radio buttons

The HTML5 spec says to fire the input event when the user changes a radio
button or a checkbox. However, the spec says "When the input event applies,
any time the user causes the element's *value* to change". For
input[type="radio"] and input[type="checkbox"] the input event should be
fired any time the user causes the element's *checked* property to change.

--
erik