DZ selection menu redesign fix.

The problem was: "option" is recursive, so the formal negation doesn't
hold.