diff --git a/user_io.c b/user_io.c
index ea64742..d196cdf 100644
--- a/user_io.c
+++ b/user_io.c
@@ -773,7 +773,7 @@ void user_io_send_buttons(char force)
 		key_map = map;
 		spi_uio_cmd8(UIO_BUT_SW, map);
 		printf("sending keymap: %X\n", map);
-		if ((key_map & BUTTON2) && is_x86_core) x86_init();
+		if ((key_map & BUTTON2) && is_x86_core()) x86_init();
 	}
 
 	if (old_video_mode != mist_cfg.video_mode)