Fix a warning that didn't respect the flag

For your health!