Fix a small bug in 2-3-4 tree enumeration