Both bugs in this report are long since fixed. Herbert P.S. I should find out how I can close my reported bugs myself.. :-]