*** terminal-util.c.org	2014-01-25 10:35:18.023698416 +0100
--- terminal-util.c	2014-02-05 18:31:11.942068912 +0100
***************
*** 747,755 ****
          {
            GdkDisplay *disp = l->data;
  
!           /* compare without the screen number part, if present */
!           if ((period && strncmp (gdk_display_get_name (disp), display_name, period - display_name) == 0) ||
!               (period == NULL && strcmp (gdk_display_get_name (disp), display_name) == 0))
              {
                display = disp;
                break;
--- 747,754 ----
          {
            GdkDisplay *disp = l->data;
  
!           /* compare with the screen number part, if present, as it may be a separate display */
!           if (strcmp (gdk_display_get_name (disp), display_name) == 0)
              {
                display = disp;
                break;
