Fix syntax error with PHP 5.3