[Patch] Mix of minor nits

[Paolo Carlini]

Hi,

seem to me by and large obvious.
Tested x86-linux: if nobody complains will commit soon.

Paolo.

////////
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: CL_mix
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20030610/32411f16/attachment.ksh>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: patch_mix
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20030610/32411f16/attachment-0001.ksh>