fix bug I just introduced