Update LevenshteinDestination.h