fix a tiny bug