Fixed formatting and updated to use our fixed asn1 repo