Fixing a compilation error due to the new flag.