Fixing git pr pull to update a pr that's already been checked out
Fix typo
Merge branch 'master' into pull-request-11