Fix d'un bug mineur