Corrections from lamblin.