Exercice 6.5
Minor fixes for 6.5