update for PHP5.3