[ Dublin: Dietmar Kühl thinks this is probably correct, but would like the opinion of more iostream experts before taking action. ]