Fix a small bug
repackaged