diff --git a/scripts/config.pl b/scripts/config.pl
index b99140a..5a06a33 100755
--- a/scripts/config.pl
+++ b/scripts/config.pl
@@ -215,7 +215,7 @@
     }
 
     if (defined $config_write) {
-        print $config_write $line or die "write $config_file: $!\n";;
+        print $config_write $line or die "write $config_file: $!\n";
     }
 }