Fixing bug I introduced
[#79954160]