minor change to run in php5.3