Committed and pushed. Thanks for the patch.