a small bug fix