deleted a couple of erroneous files