Correction of a bug with FF