tiny little change to fix a bug