The CHOICE representation in ASN.1 Value Notation was incorrect: there is no need for curly brackets.