I see, thanks @elemoine and @twpayne for the explanation.