Fix for php < 5.2