> Is it OK to commit my changes to LangRef.html and then raise bugs > against -verify if it doesn't do what I said? :-) Please do. I beefed up the verifier, but maybe I missed something. Ciao, Duncan.