fix a tiny bug.