Thanks for this patch, David! Since this is "my section" of the book, I guess I should take responsibility for reviewing this patch. Gimme a couple of days here... (Also, we can't apply this until we finish the 1.2 documentation and make a final tag. At that point, the book's trunk becomes 1.3.)