repair a small bug