> No, I didn't want to apply anything (however small) not knowing if it would > compile in the doc builder correctly. That's why I posted the patch. Very good! I'll let you apply it when you have time.