diff --git a/src/files.c b/src/files.c
index 646737dab..96d602fc1 100644
--- a/src/files.c
+++ b/src/files.c
@@ -1918,7 +1918,7 @@ int src;
     /* fall through to standard names */
 
 #if defined(MICRO) || defined(MAC) || defined(__BEOS__) || defined(WIN32)
-    set_configfile_name(fqname(default_configfile, CONFIGPREFIX, 0)):
+    set_configfile_name(fqname(default_configfile, CONFIGPREFIX, 0));
     if ((fp = fopenp(configfile, "r")) != (FILE *) 0) {
         return fp;
     } else if (strcmp(default_configfile, configfile)) {