flags.cc correction