// placeholder for deleted file