Correction for gcc