Small fixes in ui/gl.cpp