Should fix PHP warning