Minor fixups in the ASN.1 article