> Ah, that was the problem, it was elaboration code. We have now added a warning in our User Guide explaining this. Note that this sort of information is a good candidate for a FAQ. Due to lack of time, we would be unable to maintain it. Any candidate? Cheers, -- Joel