o help-text: a default value was printed wrongly.