form_checkbox() was totally broken: a checkbox needs a value on top of being (un)checked. When it is checked, the value is sent as "name=value". When not checked, nothing is sent. Usually a value of "1" will suffice, but I added explicit separate $value and $checked parameters to make sure no mix-up occurs, and to allow more freedom.