minor change to understand how to use github pull request