BUG: remove misnamed file