Some styling.
Bugfix in UnicodeString.splice.
Update annotations on delete.