Good point, I did wonder what to do about these.