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