I tend to be very defensive always on code. Maybe it is not needed. I can remove it.