Fix CRL encoding bug.