Correction pour PHP < 5.4