Jose A. Lopes Wed, 11 Sep 2013 01:09:26 -0700
Sorry, I should have sent the patch as a reply to the email containing the description of the issue.
Thanks, Jose