fixed that 'Texture.empty' sometimes did not return the requested size (refs #569)