Minor cosmetic changes to the OpenGL 3 Driver