diff --git a/ChangeLog b/ChangeLog
index 6acd5e4cb..7ff951ac2 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2013-12-23  Vladimir Serbinenko  <phcoder@gmail.com>
+
+	Fix ia64-efi recognition in grub-file.
+
 2013-12-23  Vladimir Serbinenko  <phcoder@gmail.com>
 
 	Recognize raspberry pi kernel in grub-file.
diff --git a/grub-core/commands/file.c b/grub-core/commands/file.c
index 9f2c38dfa..be8ed528d 100644
--- a/grub-core/commands/file.c
+++ b/grub-core/commands/file.c
@@ -588,7 +588,7 @@ grub_cmd_file (grub_extcmd_context_t ctxt, int argc, char **args)
 	    && coff_head.machine !=
 	    grub_cpu_to_le16_compile_time (GRUB_PE32_MACHINE_ARMTHUMB_MIXED))
 	  break;
-	if (type == IS_64_EFI || type == IS_64_EFI)
+	if (type == IS_IA_EFI || type == IS_64_EFI)
 	  {
 	    struct grub_pe64_optional_header o64;
 	    if (grub_file_read (file, &o64, sizeof (o64)) != sizeof (o64))