- correction of a small bug introduced by the lasts commits