Minor corrections

Quelques petites corrections.