diff --git a/Source/OpenTK/Platform/X11/X11XrandrDisplayDevice.cs b/Source/OpenTK/Platform/X11/X11XrandrDisplayDevice.cs
index 7ff9eca4..09e2de21 100644
--- a/Source/OpenTK/Platform/X11/X11XrandrDisplayDevice.cs
+++ b/Source/OpenTK/Platform/X11/X11XrandrDisplayDevice.cs
@@ -86,7 +86,7 @@ namespace OpenTK.Platform.X11
                 DisplayDevice current_device = new DisplayDevice(
                     new DisplayResolution(available_res[current_resolution_index].Width, available_res[current_resolution_index].Height,
                                           current_depth, current_refresh_rate),
-                    screen == Functions.XDefaultScreen(API.DefaultDisplay),
+                    screen == Functions.XDefaultScreen(API.DefaultDisplay),
                     available_res);
 
                 deviceToScreen.Add(current_device, screen);