diff --git a/Source/OpenTK/Platform/Windows/WinGLContext.cs b/Source/OpenTK/Platform/Windows/WinGLContext.cs
index bfe4c9d1..92c21851 100644
--- a/Source/OpenTK/Platform/Windows/WinGLContext.cs
+++ b/Source/OpenTK/Platform/Windows/WinGLContext.cs
@@ -376,13 +376,13 @@ namespace OpenTK.Platform.Windows
             }
 
             PixelFormatDescriptor pfd = new PixelFormatDescriptor();
-            Wgl.DescribePixelFormat(
+            Functions.DescribePixelFormat(
                 window.DeviceContext, (int)mode.Index.Value,
                 API.PixelFormatDescriptorSize, ref pfd);
             
             Debug.WriteLine(mode.Index.ToString());
-            
-            if (!Wgl.SetPixelFormat(window.DeviceContext, (int)mode.Index.Value, ref pfd))
+
+            if (!Functions.SetPixelFormat(window.DeviceContext, (int)mode.Index.Value, ref pfd))
             {
                 throw new GraphicsContextException(String.Format(
                     "Requested GraphicsMode not available. SetPixelFormat error: {0}",
diff --git a/Source/OpenTK/Platform/Windows/WinGraphicsMode.cs b/Source/OpenTK/Platform/Windows/WinGraphicsMode.cs
index f62f2315..b2826b5e 100644
--- a/Source/OpenTK/Platform/Windows/WinGraphicsMode.cs
+++ b/Source/OpenTK/Platform/Windows/WinGraphicsMode.cs
@@ -131,7 +131,7 @@ namespace OpenTK.Platform.Windows
                 // This should fix issue #2224, which causes OpenTK to fail on VMs without hardware acceleration.
                 // Note: DescribePixelFormat found in gdi32 is extremely slow on nvidia, for some reason.
                 int pixel = 0;
-                while (Wgl.DescribePixelFormat(device, ++pixel, API.PixelFormatDescriptorSize, ref pfd) != 0)
+                while (Functions.DescribePixelFormat(device, ++pixel, API.PixelFormatDescriptorSize, ref pfd) != 0)
                 {
                     // Ignore non-accelerated formats.
                     if (!generic_allowed && (pfd.Flags & PixelFormatDescriptorFlags.GENERIC_FORMAT) != 0)