Issue #17: File has been deleted.