Another small bug