Fixes #9648, (string construction optimization)