<p>Can you submit a github pull request for the change you made to fix the issue?  It sounds like the correct solution. </p>