fixed a file deletion, the files are now deleted on git as they should be