fix PHP warning