tiny fix for QGLViewer 2.5.2