prelude.Option docs: Incorrect constructors order?

[ariady-putra]

Hello, in the Prelude docs for Option it shows:

according to this code: https://github.com/aiken-lang/prelude/blob/main/lib/aiken.ak#L59

But when building the datatype from offchain I needed to set Some as 0 and None as 1 instead

const constrOption = {
  some: (thing: any) => new Constr(0, [thing]),
  none: new Constr(1, []),
};

const constrBool = {
  f: new Constr(0, []),
  t: new Constr(1, []),
};

for Boolean it's correct according to the docs though as well. I think the docs is wrong? Even in aiken build result it says:

{
  "title": "Optional",
  "anyOf": [
    {
      "title": "Some",
      "description": "An optional value.",
      "dataType": "constructor",
      "index": 0,
      "fields": [{..}]
    },
    {
      "title": "None",
      "description": "Nothing.",
      "dataType": "constructor",
      "index": 1,
      "fields": []
    }
  ]
}

{
  "title": "Bool",
  "anyOf": [
    {
      "title": "False",
      "dataType": "constructor",
      "index": 0,
      "fields": []
    },
    {
      "title": "True",
      "dataType": "constructor",
      "index": 1,
      "fields": []
    }
  ]
}

EDIT: Updated for Boolean

[KtorZ]

The doc is wrong, the blueprint is right.