Fix a bug I just introduced