Fix a small error.