diff --git a/loader/xnu.c b/loader/xnu.c
index e0ae9cefe..ab88317d2 100644
--- a/loader/xnu.c
+++ b/loader/xnu.c
@@ -1336,7 +1336,7 @@ grub_xnu_unlock ()
   locked = 0;
 }
 
-static grub_command_t cmd_kernel, cmd_mkext, cmd_kext, ;
+static grub_command_t cmd_kernel, cmd_mkext, cmd_kext;
 static grub_command_t cmd_devtree;
 static grub_command_t cmd_kextdir, cmd_ramdisk, cmd_resume;
 static grub_extcmd_t cmd_splash;