Repair OpenGL push.