Removed erroneous core file.