diff --git a/VERSION b/VERSION
index 4595a7f..b588e7d 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-1.5.246
+1.5.247
diff --git a/base/netcmp.c b/base/netcmp.c
index 5fff026..af61c5d 100644
--- a/base/netcmp.c
+++ b/base/netcmp.c
@@ -19,8 +19,6 @@ the Free Software Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. */
 /* netcmp.c  -- graph isomorphism testing */
 #include "config.h"
 
-#include "config.h"
-
 #include <stdio.h>
 #include <stdlib.h>  /* for rand(), abs(), etc */
 #include <setjmp.h>