PHP5.4 fix.