bug#59262: Dash instead of two hyphens in manual

[Antonio Diaz Diaz]

Thank you Paul and Pádraig for the quick and comprehensive fix! Way beyond 
what I noticed and reported, in fact.

Antonio.