Fix a bug I introduced in my last commit