[fr] minor modification