fix a small error