Got rid of some extraneous files