Fix a syntax error on PHP 5.3