another small bug fix