Message written at 31 Jan 1999 21:27:17 +0000
--- Copy of mail to huber@iamexwi.unibe.ch ---

There was a bug in wgflute which showed if the optional last argument
was omitted.  I have fixed it in my sources.
  Thanks for highlighting this example of brain-failure!