Removed an erroneous file