Fix small bug in DF