ex7: correction