--- form.inc	Thu Dec 27 09:41:52 2007
+++ form.inc	Thu Jan 31 13:03:44 2008
@@ -1239,9 +1239,7 @@
 function checkboxes_value(&$form) {
   $value = array();
   foreach ((array)$form['#default_value'] as $key) {
-    if (!empty($value)) {
-       $value[$key] = 1;
-    }
+    $value[$key] = 1;
   }
   $form['#value'] = $value;
 }