Good idea.  I'll squash the commit, push the new branch and send you a new pull request.