// Fix PHP warning