Fix a small error