Correction of the old code, which was not compiling