*sigh* Once again: Fixed a Haddock comment which broke "make html"... Why
on earth do we have "make validate"?? :ยด-( I think we should introduce some
kind of disciplinary punishment for checking in broken Haddock comments,
like porting the mangler to a new platform or porting Adjustor.c to an ABI
more irregular than the one on PowerPC...