Fix minor PHP warning about an undefined variable.