small change to test pull request

following the steps of this Github help page: https://help.github.com/articles/using-pull-requests/