fixing a tiny error