Fix an infinite loop in ++dish (prettyprinting).