Fix the bug I introduced in 6b6f071a9010eca09b15127d08bdc5a5a56d3265.