small bug-fix