#8725: Improvements in strings