Correction d'un bug mineur.