correction d'un bug mineur