Minor modif.