Re: minor typ-o in the manual

[Karl Berry]

    The last quoted sentence should probably read either 

Indeed.  Will fix.  Thanks Alex!