Hum ... You got me thinking. I don't think it is necessary, indeed. I'll try and remove it.