Fix syntax issue for PHP 5.3