deleted an extraneous file