Fix an internal error in [nesting00.mz].
Fix an internal error in [nesting04.mz]