Fixing a PHP 5.3.3 error <https://bugs.php.net/52854>