Typo in ASN1SCC usage example