[PATCH] Fix parts of PR37046

[Richard Guenther]

On Sat, 9 Aug 2008, Diego Novillo wrote:

> On 8/8/08 6:22 PM, Richard Guenther wrote:
> 
> > Diego, do you have any problems with that?
> 
> No, thanks for fixing this.  I don't think this needs changes in the
> documentation, but could you check? (I'm not back for another week or so).

Will do.  Where is the master copy of the documentation hosted?

Thanks,
Richard.