Corrections de bugs mineurs