fixing PHP warning