Fixed a copy/paste error
PHP 5.5.4 release