Thanks for the catch and for providing the patch. Merged.