thanks! No time pressure, I have a workaround for now by manually checking the contacts. I am just a bit alarmed that a DRC error is not being thrown on this.