Update to ASN1 printing code.