correction of the bug created after a quick re-formatting