A correction for PHP 5.2 compatibility.