Forgot to use 'git rm'.