fixed a tiny bug