Correction

Correction of a mistake (not a bug, a mistake).