Fix: a couple of minor bugs for recursive types.