Copy and paste fail from the 'bad pull request'