one small bug fix