Whoops! I removed it but forgot to `git push`