Index: node.h
===================================================================
--- node.h.orig	2007-05-22 17:01:22.000000000 +0200
+++ node.h	2007-12-06 22:26:07.621461094 +0100
@@ -394,7 +394,7 @@ enum rb_thread_status {
     THREAD_TO_KILL,
     THREAD_RUNNABLE,
     THREAD_STOPPED,
-    THREAD_KILLED,
+    THREAD_KILLED
 };
 
 typedef struct rb_thread *rb_thread_t;