fix a small bug related to 8126140d9ef9ca87cdf5fad58f042dcbfeb07eed