yet another small bug fix.