Correction de bugs mineurs.