Just curious if that will be in the zip soon?
Common sense says yes, but it's such a minor thing it hardly seems worth making a new zip and recompiling for.
Let me put it this way, it's something I would probably forget to do :)
common sense prevails, indeed this and other bug fixes do get put in the zip in a relatively timely fashion. We dont put up a zip for every little bug fix because more pop up. So to reduce the number of times I upload a zip I tend to lump bug fixes together...