Fix bug in file deletion