Tiny tweak to Texture.py