small bug fix since last commit