avoid PHP warning