Fix a flag name in the docs