With some versions of PHP 5.3, set_string() incorrectly sets the title to one character

I added the debugging line in this snippet from set_string():

    if (isset($string['title'])) {
      $this->title = $string['title'];
    }         
    if ($this->title == 'Y') {
      dsm("string = '$string' and this->title == 'Y'");
    }

With PHP 5.3.3, I get this screen shot. Apparently, when $string is a string, $string['title'] evaluates to the first character of the string. I do not see this with PHP 5.3.22.

I will attach a patch as soon as I have an issue number.