--- node.old.module	2007-01-29 22:39:28.000000000 +0100
+++ node.module	2007-02-04 21:36:26.117073000 +0100
@@ -424,7 +424,7 @@ function node_save(&$node) {
     $node->is_new = true;
 
     $node->nid = db_next_id('{node}_nid');
-    $node->vid = db_next_id('{node_revisions}_vid');;
+    $node->vid = db_next_id('{node_revisions}_vid');
   }
   else {
     // We need to ensure that all node fields are filled.