fix a bug I pushed to master ><