On Wednesday 12 June 2002 22:33, you wrote: > Hi, > > There is a little typo in the current cvs of gideon. Bernd, you have made > changes based on my bullet patch but made a small mistake. Here is a patch > to correct the problem. Thanks. Funny, it worked nevertheless for me... Bernd.