Fix renaming of deprecated flag