fixes a small bug