Fix bug I introduced with previous commit