Fix stupid token PHP warning