deleteChar function does not exist, use deleteCharacters

in char.js there was an old usage of deleteChar