Documentation improvements patch

[Carl D. Sorensen]

Werner,

I was reviewing your documentation improvements patch 3e7adc...

In several places, but not all, you replaced the text

Default 1.0.

with the text 

address@hidden

I understand that the @tie{} is there to prevent the 1.0 from being wrapped
onto a line by itself.

Is there a reason that you didn't do it on all of them, or was it just an
oversight?

Thanks,

Carl