This is a bug I introduced in a recent change in the document. I will fix it tonigh (if nobody beats me to it, that is) Sorry for the noise, Javier