minor edit that seems to make pyglet 1.2 more stable for me