fix a tiny error