Ok. Should I apply that change as a part of this pull request, or create a new one? I would prefer the latter, but will wait to hear back from you.