Fixed encoding bug in ASN1Set