Hi! > As the bug interface only permits posting for 0.9.0 and unspecified, I > just wanted to post a short note. Thanks! It's fixed now. Cheers, Guido -- Guido Tack Programming Systems Lab, Saarland University, Saarbrücken http://www.ps.uni-sb.de/~tack