Thank you for the quick fix! And I'm happily surprised you decided to check the whole paragraph. I hadn't dared suggest that because I thought the decision to check only the current line was made for performance reasons. On the other hand, I had not thought through my proposal carefully and in particular hadn't noticed the points you made in response to Gregor.
-- Omar Antolín-Camarena
