Correction: we should not depend on the "num" tag, which is Akoma Ntoso specific.
FIxed double cleanup bug.