Fix bug in Levenshtein