Fix syntax for PHP 5.3