Fixes for flags.txt