Fix another small bug.