deleted that file correctly