Editor machine can now handle deleted characters.