Repaired a small bug in the compilation of the debugflag in Format,O3;