(dist) 1.4.2 : fix bug