Correction of a bug.