Removed an irrelevant file