Yes, I assume so.  Would you like to update your pull request to incorporate those changes, or should I just check it in myself?