yet another small bug fix