Fixed syntax error with PHP 5.3