Fix an undefined warning.