Fix PHP warning