Ah. I remember running into this long time back. Good point. Updating.