Got rid of a useless file