Fix bad pull request