Whoops. Removed an unnecessary file