PHP5 fix