Correction of a bug