Fix a small bug.