A small bug