fix a silly bug