Thanks much for posting this information. We'll incorporate this
fix into the next release and anyone who wants to apply the fix
locally can follow your instructions.
If you (or anyone else) has any additional bug fixes, feel free to
post them to the list here. We appreciate any and all feedback!
Chuck