No need to redo the pull request just for that. Let me see if there are any more comments, otherwise just remove it in a later pull request.