(GLUI) Silence warning