Fix php error for PHP 5.3x