Fix PHP warning.