Same fix as ff8225c78d23d04731e98eebbd57c48b59e493eb [skip ci]