Fix a small minor ugly error