Good catch. The import should be der (which is a subset of ber). It won't change the encoded output for this situation but still worth fixing. Just pushed the fix.