fixed bug I introduced