I will add this to it. However, since I am not very comfortable with git right now, can you please point me on how to propagate the new changes to this pull request? Should I create a new pull request after I make changes? That would mean that someone would have to close this pull request, right?