diff --git a/xCAT-server/sbin/configmic b/xCAT-server/sbin/configmic
index 306099dab..5a3b62d49 100755
--- a/xCAT-server/sbin/configmic
+++ b/xCAT-server/sbin/configmic
@@ -72,8 +72,8 @@ if ($rc) {
     $cmd = "wget -N --waitretry=10 --random-wait -T 60 http://$master/$cfgpath/miccfg.$nodename -P $tmppath";
     runsyscmd ($cmd, "Error: failed to download mic configuration file from $master\n", 3);
 } else {
-    # Using $nodename_short was correct, so use that from now on
-    $nodename = $nodename_short;
+    # use the correct short hotname in $nodename_short
+    $nodename=$nodename_short;
 }
 
 unless (-r "$tmppath/miccfg.$nodename") {