Squashing a small bug