small bug in Texture.cpp