very small bug fixes