Yinan Li is fixing this as we speak. Should be a very minor change.
It's also a non-critical option, so, if we decide that the safer thing is to just remove it, we can do that as well. Will leave that decision to the release czar and reviewers.
Marcelo Masiero Vanzin Felix Cheung Sameer Agarwal