Little fix for new php versions