Delete extraneous file

Sorry, this shouldn't have been here