minor fix for DISABLE_COMPILER_GCC_WARNING_START / gcc