Index: mpi/mpicoder.c
===================================================================
--- mpi/mpicoder.c.orig	2008-12-05 08:57:37.000000000 +0100
+++ mpi/mpicoder.c	2009-04-07 15:35:15.000000000 +0200
@@ -49,7 +49,7 @@ mpi_read_from_buffer (const unsigned cha
   else if( !nbits ) 
     {
 /*       log_debug ("an mpi of size 0 is not allowed\n"); */
-      goto leave;
+      /* goto leave; */
     }
   buffer += 2;
   nread = 2;