diff --git a/gdk/mir/gdkmirdevicemanager.c b/gdk/mir/gdkmirdevicemanager.c
index 46d7d78fdc..c94f8a3ded 100644
--- a/gdk/mir/gdkmirdevicemanager.c
+++ b/gdk/mir/gdkmirdevicemanager.c
@@ -18,6 +18,7 @@
 #include "config.h"
 
 #include "gdkdevicemanagerprivate.h"
+#include "gdkdisplayprivate.h"
 #include "gdkdeviceprivate.h"
 
 #include "gdkmir.h"
@@ -102,6 +103,8 @@ gdk_mir_device_manager_constructed (GObject *object)
   _gdk_device_set_associated_device (device_manager->keyboard, device_manager->pointer);
   _gdk_device_set_associated_device (device_manager->pointer, device_manager->keyboard);
 
+  gdk_device_manager_get_display (GDK_DEVICE_MANAGER (device_manager))->core_pointer = device_manager->pointer;
+
   G_OBJECT_CLASS (gdk_mir_device_manager_parent_class)->constructed (object);
 }