Bug fix: #376854
- recovered a deleted file that should not have been deleted