We'll release another patch to fix that; it's strange because we were supposed to have already fixed it, but oh well, that's part of the job.
