Fix bug in AbstractStringBuilder.delete