Deleted floating editDistance() function