fixed a tiny mistake