Minor change, removed unnecessary file