See https://github.com/ProvableHQ/leo/pull/28826
See ProvableHQ/leo#28826