Re: Bug: error in writeln output